Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
161	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science
162	Recursion Theory Frank Stephan October 8, 2012 Recursion theory deals with the fundamental concepts on what subsets of natural numbers (or other famous countable domains) could be defined effectively and how Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-10-08 00:46:12 Mathematics Mathematical logic Recursively enumerable set Primitive recursive function Recursion Diophantine set Μ operator Computability Recursive set Computability theory Theoretical computer science Theory of computation
163	A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION∗ JOHN McCARTHY 1961–1963 [This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-Hollan Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:08:23 Theoretical computer science Theory of computation Functions and mappings Function Computable function Logical connective Computability Indeterminate form Universal quantification Computability theory Mathematics Mathematical logic
164	λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Computability theory Theory of computation Lambda calculus Formal methods Models of computation Combinatory logic Church–Turing thesis Turing machine Entscheidungsproblem Mathematics Theoretical computer science Mathematical logic
165	American Computer Science LeagueClassroom Division Questions 1 -5 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:12 Functions and mappings Computability theory Theory of computation Binary arithmetic Octal Function Primitive recursive function Lambda calculus Mathematics Mathematical logic Theoretical computer science
166	Egon Borger Erich Gradel Yuri Gurevich The Classical Decision Problem Add to Reading List Source URL: www.gbv.de Language: English - Date: 2007-11-05 08:28:23 Computability theory Model theory Complexity classes Metalogic Proof theory Decision problem Decidability Satisfiability First-order logic Theoretical computer science Computational complexity theory Mathematical logic
167	Terminology: Denoted and Expressed Values A denoted value is the meaning of a variable An expressed value is the result of an expression Terminology: Denoted and Expressed Values First-order functions Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Mathematical logic Recursion Lambda calculus Factorial Scheme Function Primitive recursive function Fixed-point combinator Mathematics Computability theory Computer programming
168	Instructions • Enter your Registration Number here: CMI PG– or here: C– Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2014-09-01 03:15:02 Computability theory Theory of computation Mathematical optimization Algorithm Mathematical logic Halting problem PP Dynamic programming Berlekamp–Massey algorithm Theoretical computer science Applied mathematics Mathematics
169	Draft Version Denotational Semantics for SSA Conversion Sebastian Pop, Albert Cohen†, Pierre Jouvelot, Georges-Andr´e Silber ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:22:11 Computability theory Models of computation Formal methods Logic in computer science Recursion Static single assignment form Denotational semantics Continuation-passing style Primitive recursive function Software engineering Computing Computer programming
170	Alma-0: An Imperative Language that Supports Declarative Programming KRZYSZTOF R. APT CWI and University of Amsterdam and JACOB BRUNEKREEF and VINCENT PARTINGTON Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Programming paradigms Procedural programming languages Theoretical computer science Alma-0 Computability theory Logic programming Backtracking Assignment Imperative programming Software engineering Computing Computer programming

UPDATE